A multi-aircraft conflict detection and resolution method for 4-dimensional trajectory-based operation
نویسندگان
چکیده
منابع مشابه
Conflict Detection and Resolution for 1 , 2 , . . . , N Aircraft Gilles
Formal methods in computer science refers to the use of logic and mathematics to verify that a system design and its implementation satisfy functional requirements and safety properties. Despite the fact that several Conflict Detection and Resolution (CD&R) systems have been proposed in the past few years, very few of these systems have been described and analyzed using formal methods. Therefor...
متن کاملMulti-robot Operation System with Conflict Resolution
Applications with large teams of robots are becoming more and more useful. If the scenario is very crowded or very dynamic, conflict resolution when using a shared workspace is a challenging problem. In this paper, an scalable, decentralized and reactive approach for collision avoidance is presented. The robots can navigate in a 2D environment avoiding each other and without high computational ...
متن کاملOptimal Coordinated Maneuvers for Three Dimensional Aircraft Conflict Resolution
for Three Dimensional Aircraft Conflict Resolution Jianghai Hu∗ University of California, Berkeley, CA 94720 Maria Prandini† University of Brescia, 25123 Brescia, Italy Shankar Sastry‡ University of California, Berkeley, CA 94720 Abstract In this paper, the problem of designing optimal conflict-free maneuvers for multiple aircraft encounters is studied. The candidate maneuvers may involve not o...
متن کاملFuzzy Multi-dimensional Analysis and Resolution Operation
In this paper a new original approach to the analysis of fuzzy multi dimensional distributions is described A uniform method for representing fuzzy multi dimensional distributions by means of sectioned vectors and matrices is proposed Sectioned ma trix is interpreted as fuzzy conjunctive normal form while its line vectors are interpreted as fuzzy disjunctions Several useful characteristics of f...
متن کاملA Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search
We present a new approach to testing multi-UAV conflict resolution algorithms. We have formulated the problem as a multi-objective search problem, with two objectives: finding air traffic encounters that (1) are able to reveal faults in conflict resolution algorithms, and (2) are likely to happen in the real world. Our method uses agent-based simulation and multiobjective search to automaticall...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chinese Journal of Aeronautics
سال: 2018
ISSN: 1000-9361
DOI: 10.1016/j.cja.2018.04.017